#include <stdio.h>

int main () {
	int zs;double ss,sh;scanf("%d;%lf",&zs,&ss);
	sh=ss/zs;printf("%.8lf",sh);
	return 0;
} 
